-
1 определимое множество
Большой англо-русский и русско-английский словарь > определимое множество
-
2 определимое множество
Mathematics: definable set, explicable setУниверсальный русско-английский словарь > определимое множество
-
3 определимое множество
definable set мат., explicable setРусско-английский научно-технический словарь Масловского > определимое множество
-
4 ординально определимое множество
Большой англо-русский и русско-английский словарь > ординально определимое множество
-
5 арифметически определимое множество
Mathematics: arithmetically definable setУниверсальный русско-английский словарь > арифметически определимое множество
-
6 неявно определимое множество
Mathematics: implicitly definable setУниверсальный русско-английский словарь > неявно определимое множество
-
7 ординально определимое множество
Mathematics: ordinal-definable setУниверсальный русско-английский словарь > ординально определимое множество
-
8 элементарно определимое множество
Mathematics: elementarily definable setУниверсальный русско-английский словарь > элементарно определимое множество
-
9 явно определимое множество
Mathematics: explicitly definable setУниверсальный русско-английский словарь > явно определимое множество
-
10 арифметически определимое множество
Русско-английский научно-технический словарь Масловского > арифметически определимое множество
-
11 неявно определимое множество
Русско-английский научно-технический словарь Масловского > неявно определимое множество
-
12 ординально определимое множество
Русско-английский научно-технический словарь Масловского > ординально определимое множество
-
13 элементарно определимое множество
Русско-английский научно-технический словарь Масловского > элементарно определимое множество
-
14 явно определимое множество
Русско-английский научно-технический словарь Масловского > явно определимое множество
-
15 explicitly
1) особо
2) подробно
3) явно ∙ define function explicitly ≈ задавать функцию явно explicitly bounded function ≈ явно ограниченная функция explicitly definable formula ≈ явно определимая формула explicitly definable function ≈ явно определенная функция explicitly definable relation ≈ явно определимое отношение explicitly definable set ≈ явно определимое множество - define explicitly - explicitly bounded - explicitly calculable - explicitly definable - explicitly quasiconcave - explicitly solvable ясно, точно;
открыто, недвусмысленно, без обиняков - it was * stated that... было сделано ясное заявление, что... эксплицитноБольшой англо-русский и русско-английский словарь > explicitly
-
16 arithmetically
арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически определенная подгруппа arithmetically equivalent degree ≈ арифметически эквивалентная степень arithmetically expressible sentence ≈ арифметически выразимое высказывание arithmetically extensible function ≈ арифметически продолжаемая функция arithmetically normal variety ≈ арифметически нормальное многообразие arithmetically provable formula ≈ арифметически доказуемая формула arithmetically valid formula ≈ арифметически общезначимая формула completely arithmetically productive set ≈ вполне арифметически продуктивное множество - arithmetically connected - arithmetically definable - arithmetically equivalent - arithmetically extensible - arithmetically provable - arithmetically validарифметическиБольшой англо-русский и русско-английский словарь > arithmetically
-
17 definable set
Большой англо-русский и русско-английский словарь > definable set
-
18 explicable set
Большой англо-русский и русско-английский словарь > explicable set
-
19 ordinal-definable set
Большой англо-русский и русско-английский словарь > ordinal-definable set
-
20 arithmetically definable set
Математика: арифметически определимое множествоУниверсальный англо-русский словарь > arithmetically definable set
- 1
- 2
См. также в других словарях:
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ФД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
ФЭД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
Феликс Дзержинский (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия